搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Practice in software adaption and maintenance : proceedings of the SAM Workshop, Berlin, April 1979 0 索取号：TP31-53/E9012/1979 作者：SAM Workshop (1979 : Berlin、 Germany)、Ebert、 Rudolf、 1923-、L̈Уgger、 J.、 1944-、Goecke、 L.、 1952-、出版社：Amsterdam ; New York : North Holland Pub. Co. ; New York : sole distributors for U.S.A. and Canada, Elsevier North-Holland, 1980.		Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers 0 索取号：TP31-53/E9014/3 作者：Workshop on Theory and Applications of Abstract Data Types (3rd : 1984 : Bremen、 Germany)、Kreowski、 H.-J. (Hans-J̈Оrg)、出版社：Berlin ; New York : Springer-Verlag, 1985.
	Programming language implementation and logic programming : international workshop PLILP '90, Link̈Оping, Sweden, August 20-22, 1990 : proceedings 0 索取号：TP31-53/E991/1990 作者：PLILP '90 (1990 : Link̈Оping、 Sweden)、Deransart、 Pierre.、MałУszýНski、 J. (Jan)、 1941-、出版社：Berlin ; New York : Springer-Verlag, 1990.		Real time programming, 1978 : proceedings of the IFAC/IFIP Workshop, Mariehamn/Aland, Finland, 19-21 June, 1978 0 索取号：TP31-53/E8012/1978 作者：IFAC/IFIP Workshop on Real Time Programming、 Mariehamn/Aland、 Finland、 1978.、Cronhjort、 B.、International Federation of Automatic Control.、International Federation for Information Processing.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1979.
	Real time programming, 1977 : proceedings of the IFAC/IFIP Workshop, Eindhoven, Netherlands, 20-22 June 1977 0 索取号：TP31-53/E8012/1977 作者：IFAC-IFIP Workshop on Real-Time Programming、 Eindhoven、 1977.、Smedema、 C. H.、 1943-、International Federation of Automatic Control.、International Federation for Information Processing.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1978.		Proceedings of the 1975 IFAC-IFIP Workshop on Real-Time Programming, Boston/Cambridge, Massachusetts, USA, 21-22 August, 1975 0 索取号：TP31-53/E8012/1975 作者：IFAC-IFIP Workshop on Real-Time Programming、 Cambridge、 Mass.、 1975.、Griem、 P. D.、International Federation of Automatic Control.、International Federation for Information Processing.、出版社：Pittsburgh : Instrument Society of America, 1976.
	Proceedings, Real-Time Systems Symposium, December 6-8, 1983, Marriott Crystal Gateway Hotel, Arlington, Virginia 0 索取号：TP31-53/E9015/1983 作者：Real-Time Systems Symposium (1983 : Arlington、 Va.)、IEEE Computer Society.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1984,c1983.		Proceedings 0 索取号：TP302-53/E902/3 作者：Symposium on Reliability in Distributed Software and Database Systems (3rd : 1983 : Clearwater Beach、 Fla.)、IEEE Computer Society.、Association for Computing Machinery.、University of South Florida.、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1983.
	FTCS : 13th annual international symposium, fault-tolerant computing : digest of papers : June 28-30, 1983, Palazzo Ex-Stelline, Milano, Italy 0 索取号：TP3-53/E908/13 作者：International Symposium on Fault-Tolerant Computing (13th : 1983 : Milan、 Italy)、IEEE Computer Society. Fault-Tolerant Technical Committee.、出版社：Silver Spring, MD : IEEE Computer Society Press, c1983.		Entity-relationship approach to software engineering : proceedings of the Third International Conference on Entity-Relationship Approach, Anaheim, California, U.S.A., October 5-7, 1983 0 索取号：TP31-53/E908/3 作者：International Conference on Entity-Relationship Approach (3rd : 1983 : Anaheim、 Calif.)、Davis、 Carl G.、出版社：Amsterdam ; New York : North Holland ; New York N.Y., U.S.A. : Sole distributors for U.S.A. and Canada, Elsevier Scientific Pub. Co., 1983.
	Micro-14 [electronic resource] : 14th Annual Microprogramming Workshop, October 12-15, 1981, Chatham, Massachusetts 0 索取号：TP31-53/E9017/14 作者：Microprogramming Workshop (14th : 1981 : Chatham、 Mass.)、ACM Special Interest Group on Microprogramming.、IEEE Computer Society. TC-micro.、Association for Computing Machinery.、ACM Digital Library.、出版社：New York : Institute of Electrical and Electronics Engineers, c1981.		Advanced software in robotics : proceedings of an international meeting held in LìЕge, Belgium, May 4-6, 1983 0 索取号：TP31-53/E906/1983 作者：International Meeting on Advanced Software Robotics、Belgium 1983、Danthine、 A.、ǴЕradin、 Michel、 1945-、Universit́Е de LìЕge.、Association des inǵЕnieurs ́Еlectriciens sortis de l'Institut Montefiore.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
	Numerical software, needs and availability : proceedings of the Conference on Applications of Numerical Software, Needs and Availability, held at the University of Sussex, September 19th-22nd, 1977 0 索取号：TP31-53/E807/1977 作者：Conference on Applications of Numerical Software、 Needs and Availability、 University of Sussex、 1977.、Jacobs、 David A. H.、Institute of Mathematics and Its Applications.、出版社：London ; New York : Academic Press, 1979,c1978.		Micro-13 [electronic resource] : 13th Annual Microprogramming Workshop, November 30-December 3, 1980, Broadmoor Hotel, Colorado Springs, Colo. 0 索取号：TP31-53/E9017/13 作者：Microprogramming Workshop (13th : 1980 : Colorado Springs、 Colo.)、IEEE Computer Society. TC-micro.、ACM Digital Library.、ACM Special Interest Group on Microprogramming.、出版社：New York, N.Y. : Institute of Electrical and Electronics Engineers, c1980.
	55 advanced computer programs in BASIC 0 索取号：TP31/E90187 作者：Watson、 William Scott.、出版社：Blue Ridge Summit, Pa. : Tab Books, 1981.		Algorithms + data structures=programs 0 索取号：TP31/E8069 作者：Wirth、 Niklaus.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1976.

	Practice in software adaption and maintenance : proceedings of the SAM Workshop, Berlin, April 1979 0 索取号：TP31-53/E9012/1979 作者：SAM Workshop (1979 : Berlin、 Germany)、Ebert、 Rudolf、 1923-、L̈Уgger、 J.、 1944-、Goecke、 L.、 1952-、出版社：Amsterdam ; New York : North Holland Pub. Co. ; New York : sole distributors for U.S.A. and Canada, Elsevier North-Holland, 1980.		Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers 0 索取号：TP31-53/E9014/3 作者：Workshop on Theory and Applications of Abstract Data Types (3rd : 1984 : Bremen、 Germany)、Kreowski、 H.-J. (Hans-J̈Оrg)、出版社：Berlin ; New York : Springer-Verlag, 1985.
	Programming language implementation and logic programming : international workshop PLILP '90, Link̈Оping, Sweden, August 20-22, 1990 : proceedings 0 索取号：TP31-53/E991/1990 作者：PLILP '90 (1990 : Link̈Оping、 Sweden)、Deransart、 Pierre.、MałУszýНski、 J. (Jan)、 1941-、出版社：Berlin ; New York : Springer-Verlag, 1990.		Real time programming, 1978 : proceedings of the IFAC/IFIP Workshop, Mariehamn/Aland, Finland, 19-21 June, 1978 0 索取号：TP31-53/E8012/1978 作者：IFAC/IFIP Workshop on Real Time Programming、 Mariehamn/Aland、 Finland、 1978.、Cronhjort、 B.、International Federation of Automatic Control.、International Federation for Information Processing.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1979.
	Real time programming, 1977 : proceedings of the IFAC/IFIP Workshop, Eindhoven, Netherlands, 20-22 June 1977 0 索取号：TP31-53/E8012/1977 作者：IFAC-IFIP Workshop on Real-Time Programming、 Eindhoven、 1977.、Smedema、 C. H.、 1943-、International Federation of Automatic Control.、International Federation for Information Processing.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1978.		Proceedings of the 1975 IFAC-IFIP Workshop on Real-Time Programming, Boston/Cambridge, Massachusetts, USA, 21-22 August, 1975 0 索取号：TP31-53/E8012/1975 作者：IFAC-IFIP Workshop on Real-Time Programming、 Cambridge、 Mass.、 1975.、Griem、 P. D.、International Federation of Automatic Control.、International Federation for Information Processing.、出版社：Pittsburgh : Instrument Society of America, 1976.
	Proceedings, Real-Time Systems Symposium, December 6-8, 1983, Marriott Crystal Gateway Hotel, Arlington, Virginia 0 索取号：TP31-53/E9015/1983 作者：Real-Time Systems Symposium (1983 : Arlington、 Va.)、IEEE Computer Society.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1984,c1983.		Proceedings 0 索取号：TP302-53/E902/3 作者：Symposium on Reliability in Distributed Software and Database Systems (3rd : 1983 : Clearwater Beach、 Fla.)、IEEE Computer Society.、Association for Computing Machinery.、University of South Florida.、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1983.
	FTCS : 13th annual international symposium, fault-tolerant computing : digest of papers : June 28-30, 1983, Palazzo Ex-Stelline, Milano, Italy 0 索取号：TP3-53/E908/13 作者：International Symposium on Fault-Tolerant Computing (13th : 1983 : Milan、 Italy)、IEEE Computer Society. Fault-Tolerant Technical Committee.、出版社：Silver Spring, MD : IEEE Computer Society Press, c1983.		Entity-relationship approach to software engineering : proceedings of the Third International Conference on Entity-Relationship Approach, Anaheim, California, U.S.A., October 5-7, 1983 0 索取号：TP31-53/E908/3 作者：International Conference on Entity-Relationship Approach (3rd : 1983 : Anaheim、 Calif.)、Davis、 Carl G.、出版社：Amsterdam ; New York : North Holland ; New York N.Y., U.S.A. : Sole distributors for U.S.A. and Canada, Elsevier Scientific Pub. Co., 1983.
	Micro-14 [electronic resource] : 14th Annual Microprogramming Workshop, October 12-15, 1981, Chatham, Massachusetts 0 索取号：TP31-53/E9017/14 作者：Microprogramming Workshop (14th : 1981 : Chatham、 Mass.)、ACM Special Interest Group on Microprogramming.、IEEE Computer Society. TC-micro.、Association for Computing Machinery.、ACM Digital Library.、出版社：New York : Institute of Electrical and Electronics Engineers, c1981.		Advanced software in robotics : proceedings of an international meeting held in LìЕge, Belgium, May 4-6, 1983 0 索取号：TP31-53/E906/1983 作者：International Meeting on Advanced Software Robotics、Belgium 1983、Danthine、 A.、ǴЕradin、 Michel、 1945-、Universit́Е de LìЕge.、Association des inǵЕnieurs ́Еlectriciens sortis de l'Institut Montefiore.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
	Numerical software, needs and availability : proceedings of the Conference on Applications of Numerical Software, Needs and Availability, held at the University of Sussex, September 19th-22nd, 1977 0 索取号：TP31-53/E807/1977 作者：Conference on Applications of Numerical Software、 Needs and Availability、 University of Sussex、 1977.、Jacobs、 David A. H.、Institute of Mathematics and Its Applications.、出版社：London ; New York : Academic Press, 1979,c1978.		Micro-13 [electronic resource] : 13th Annual Microprogramming Workshop, November 30-December 3, 1980, Broadmoor Hotel, Colorado Springs, Colo. 0 索取号：TP31-53/E9017/13 作者：Microprogramming Workshop (13th : 1980 : Colorado Springs、 Colo.)、IEEE Computer Society. TC-micro.、ACM Digital Library.、ACM Special Interest Group on Microprogramming.、出版社：New York, N.Y. : Institute of Electrical and Electronics Engineers, c1980.
	55 advanced computer programs in BASIC 0 索取号：TP31/E90187 作者：Watson、 William Scott.、出版社：Blue Ridge Summit, Pa. : Tab Books, 1981.		Algorithms + data structures=programs 0 索取号：TP31/E8069 作者：Wirth、 Niklaus.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1976.